#!/bin/sh

lustre_file=$1
node=$2
_oracle=_"$node"_oracle.lus
oracle="$node"_oracle
env=_"$node"_env.lut

set -x verbose
echo "LAUCHING ./lus2lic $lustre_file -n $node --gen-autotest"
./lus2lic                $lustre_file -n $node --gen-autotest

echo "LAUCHING ./lus2lic $lustre_file -n $node -ec >> $_oracle"
./lus2lic                $lustre_file -n $node -ec >> $_oracle

echo "LAUCHING ./lus2lic  $_oracle -n $oracle -ec > $oracle.ec"
./lus2lic                 $_oracle -n $oracle -ec > $oracle.ec


. /home/jahier/.opam/opam-init/variables.sh

lurette -l 100 \
 -sut "./lus2lic $lustre_file -n $node" -env "lutin $env" -oracle "ecexe-rif $oracle.ec"
#/usr/local/tools/lurette/current/bin/lurettetop -rp "sut:v6:$lustre_file:$node" -rp "env:lutin:$env" -rp "oracle:ec:$oracle.ec:" -go -l 100 -ns2c
